;; `par2' indeed produces tighter error bound than `par1'. But this doesn't
;; mean that `par2' is `better' than `par1'. The difference of errors is due
;; to the flaw of the interval arithmatic system. A full-functioning system
;; should produce the same output for the two procedures.
